Alloys: Types and uses

Cæsarean Section. Some Types and Their Uses

Surgical vacuum drains: types, uses, and complications.

High- and low-pressure vacuum drains are commonly used after surgical procedures. High-pressure vacuum drains (ie, sealed, closed-circuit systems) are efficient and allow for easy monitoring and safe disposal of the drainage. Low-pressure vacuum drains use gentle pressure to evacuate excess fluid and air, and are easy for patients to manage at home because it is easy to reinstate the vacuum pre...

Insecticide formulations--types and uses: a review.

This review paper contains a brief discussion of the composition, preparation and use of the various types of insecticide formulations and is presented as an aid to persons presently engaged in mosquito control. A glossary of common formulation has also been added for the benefit of those persons not familiar with the vocabulary.

Foundational and Mathematical Uses of Higher Types

In this paper we develop mathematically strong systems of analysis in higher types which, nevertheless, are proof-theoretically weak, i.e. conservative over elementary resp. primitive recursive arithmetic. These systems are based on non-collapsing hierarchies (Φn-WKL+, Ψn-WKL+) of principles which generalize (and for n = 0 coincide with) the so-called ‘weak’ König’s lemma WKL (which has been st...

Types for 0, 1 or Many Uses

This paper will present an analysis for detecting single uses of values in functional programs during call-by-need reduction. There are several reasons why such information can be useful. The Clean language uses a uniqueness type system for detecting single-threaded uses which allow destructive updating. Single-use information has also been proposed for compile-time garbage collection. Turner, ...